Papers by Cuong Chi Le
SpecMind: Cognitively Inspired, Interactive Multi-Turn Framework for Postcondition Inference (2026.acl-long)
Copied to clipboard
Cuong Chi Le, Minh V.t. Pham, Tung D. Vu, Van Duc Cuong, Phan Nhat Huy, Phan Nhat Hoang, Tien N. Nguyen
| Challenge: | Existing methods for generating specifications are limited and often fail to infer semantic specifications such as pre-/postconditions. |
| Approach: | They propose a framework that treats LLMs as exploratory reasoners rather than one-shot generators. |
| Outcome: | The proposed framework outperforms state-of-the-art methods in accuracy and completeness of generated postconditions. |